翻訳と辞書 |
Logical Methods in Computer Science : ウィキペディア英語版 | Logical Methods in Computer Science
''Logical Methods in Computer Science'' (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004. The first volume appeared in 2005.〔(Logical Methods in Computer Science ), DBLP.〕 LMCS is significant in two principal respects: it has a distinguished editorial board with Dana Scott as Editor-in-Chief, and is open access as it makes its content available through a Creative Commons-Attribution No Derivatives license. The journal is available under . ==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Logical Methods in Computer Science」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|